Stephen Cole Kleene
正規表現
クリーネ閉包
クリーネ代数
Kleene-Rosserパラドックス
ラムダ計算
https://ja.wikipedia.org/wiki/スティーヴン・コール・クリーネ
https://en.wikipedia.org/wiki/Stephen_Cole_Kleene
#人物